DEF=macro-vars
EXT=macro-vars
TESTDIR=.

include ../../../include/kframework/ktest.mak
